Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
201	Math´ematiques `a rebours et un Lemme de K¨onig Faible de Type Ramsey Stage de Master 2 - MPRI mars - aoˆ ut 2012 Ludovic Patey ∗ Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:40:26 Mathematical logic Computability theory Mathematics Theoretical computer science Proof theory Logic in computer science Theory of computation Second-order arithmetic Combinatory logic Reverse mathematics Computable function
202	An arithmeti al hierar hy of the law of ex luded middle and related prin iples 1 Yohji Akama Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 09:30:01 Constructivism Proof theory Realizability FO Orthogonal polynomials
203	Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Proof assistants Real numbers Automated theorem proving Elementary mathematics Type theory First-order logic Construction of the real numbers Constructivism Mathematical logic Isabelle Axiom Setoid
204	PROOF THEORY OF REFLECTION Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OHFebruary 21, 1993 Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 11:29:00
205	A LIGHTFACE ANALYSIS OF THE DIFFERENTIABILITY RANK LINDA BROWN WESTRICK Abstract. We examine the computable part of the differentiability hierarchy defined by Kechris and Woodin. In that hierarchy, the rank of a differen Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2014-10-24 11:30:43 Ordinal numbers Proof theory Computability theory Mathematical notation Ordinal notation Continuous function Constructible universe Limit of a function Symbol NC Computable number Fast-growing hierarchy
206	Math. Log. Quart, 1 – 4 Mathematical Logic Quarterly c WILEY-VCH Verlag Berlin GmbH 2001 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2007-01-13 09:21:39 Dialectica interpretation Intuitionism Proof theory Sheaf Product rule Portable character set
207	Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universitt Robert–Mayer–Str. 6–10, 6000 F Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2014-04-08 11:54:42 Computability theory Mathematical logic Logic Primitive recursive functional Proof theory Symbol Mathematics Table of stars with Bayer designations
208	Proof Theory: From arithmetic to set theory Michael Rathjen July 2, 2014 1 Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2014-07-02 08:16:16
209	On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:11:16 Computability theory Proof theory Mathematical logic Predicate logic Logic in computer science Primitive recursive functional Reverse mathematics Primitive recursive function Primitive recursive arithmetic First-order logic Peano axioms Ordinal analysis
210	ADMISSIBLE PROOF THEORY AND BEYOND Michael Rathjen Universit¨ at M¨ unster, Germany Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 11:27:02

UPDATE